DiscoverÉrase una vez un algoritmo...(Totalidad + Tipos dependientes) = Agda | S3-E2
(Totalidad + Tipos dependientes) = Agda | S3-E2

(Totalidad + Tipos dependientes) = Agda | S3-E2

Update: 2021-08-21
Share

Description

¡Enviáme un mensaje!

Pueden revisar la siguiente entrada de mi blog para acceder a un tutorial sobre la programación funcional, Haskell y Agda:
 
https://camilochaconsartori.wordpress.com/2021/08/08/el-renacer-de-un-viejo-conocido-la-programacion-funcional/

Support the show

Comments 
loading
00:00
00:00
1.0x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

(Totalidad + Tipos dependientes) = Agda | S3-E2

(Totalidad + Tipos dependientes) = Agda | S3-E2